record Record(int[]x) {
}